Normal extensions of a first order differential operator

A method for solving first order fuzzy differential equation

Model Checking 4 Extensions Next-time Operator Relation to Monadic First-order Logic of Partial Order

A system M of concurrently executing processes generates a set of causal structures. The system M satisfies a requirement given as a formula ' of ISTL, if every causal structure generated by A satisfies '. The model checking problem, then, is to check whether or not M satisfies '. The decision procedure outlined in the previous section can be employed to obtain an automata-theoretic solution to...

Bernoulli matrix approach for matrix differential models of first-order

The current paper contributes a novel framework for solving a class of linear matrix differential equations. To do so, the operational matrix of the derivative based on the shifted Bernoulli polynomials together with the collocation method are exploited to reduce the main problem to system of linear matrix equations. An error estimation of presented method is provided. Numerical experiments are...

On the compactness property of extensions of first-order G"{o}del logic

We study three kinds of compactness in some variants of G"{o}del logic: compactness,entailment compactness, and approximate entailment compactness.For countable first-order underlying language we use the Henkinconstruction to prove the compactness property of extensions offirst-order g logic enriched by nullary connective or the Baaz'sprojection connective. In the case of uncountable first-orde...

A Toolkit for First Order Extensions of Monadic Games

In 1974 R. Fagin proved that properties of structures which are in NP are exactly the same as those expressible by existential second order sentences, that is sentences of the form: there exist such that , where is a tuple of relation symbols. and is a first order formula. Fagin was also the first to study monadic NP: the class of properties expressible by existential second order sentences whe...